* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.
authorGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 01:32:19 +0000 (21:32 -0400)
committerGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 01:32:19 +0000 (21:32 -0400)
commit41e16fe3ea287e890fd485b6102f9a99c9eeb6e1
treece751e7bcc6b247ac6c8c29cc932a4823281da5a
parent4124d5f0ef8674787ec8eea9672f5750688cac81
* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.
doc/misc/ChangeLog
doc/misc/Makefile.in